Probabilistic logic - PDFSEARCH.IO - Document Search Engine

Probabilistic logic
Results: 343

#	Item
51	A Tractable First-Order Probabilistic Logic Pedro Domingos and W. Austin Webb Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A. {pedrod, webb}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English
52	New Advances in Logic-Based Probabilistic Modeling by PRISM Taisuke Sato and Yoshitaka Kameya Tokyo Institute of Technology, Ookayama Meguro Tokyo Japan, http://sato-www.cs.titech.ac.jp/ Add to Reading List Source URL: rjida.meijo-u.ac.jp Language: English - Date: 2007-11-01 00:45:42
53	Probabilistic Algorithms and Ramsey-Type Principles in Reverse Mathematics Laurent Bienvenu Ludovic Patey Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:31 Mathematics Logic Proof theory Mathematical proofs Lemma Theorem Abstraction Reverse mathematics BPP
54	Bayesian Artificial Intelligence 1/40 History Add to Reading List Source URL: bayesian-intelligence.com Language: English - Date: 2009-10-11 19:44:37 Statistical models Bayesian statistics Philosophy of science Statistical inference Bayesian network Graphical model Bayesian Inference Probabilistic logic Causality Judea Pearl Naive Bayes classifier
55	Probabilistic polynomial-time semantics for a protocol security logic? Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Vitaly Shmatikov2 , and Mathieu Turuani3 1 2 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-04-07 02:02:11
56	Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam Add to Reading List Source URL: web.cs.ucla.edu Language: English - Date: 2016-01-17 03:31:04
57	Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:44:01 Operator theory Theoretical computer science Measure theory Mathematics Analysis Denotational semantics Logic in computer science Hermitian adjoint Support Expected value Abstract interpretation Adjoint functors
58	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:43:37 Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP
59	A Probabilistic Logic for Sequences of Decisions∗ Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway Abstract Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2012-06-04 07:58:53
60	Probabilistic Reasoning for Assembly-Based 3D Modeling Add to Reading List Source URL: geometry.stanford.edu Language: English - Date: 2011-09-30 17:04:00 Statistical models Machine learning Bayesian statistics Cluster analysis Mixture model Pattern recognition Graphical model Bayesian network Probabilistic logic Principal component analysis Expectationmaximization algorithm Probability distribution

UPDATE